Fix repo-consistency agent fetching oldest PRs instead of most recently merged#65
Conversation
…ted-desc Co-authored-by: Malcolmnixon <1863707+Malcolmnixon@users.noreply.github.com> Agent-Logs-Url: https://github.com/demaconsulting/TemplateDotNetLibrary/sessions/7c640966-706b-41c0-a0b5-82f36de16618
|
@copilot Would the wording be better with "the most recent 20" and also using the sorting order? |
Co-authored-by: Malcolmnixon <1863707+Malcolmnixon@users.noreply.github.com> Agent-Logs-Url: https://github.com/demaconsulting/TemplateDotNetLibrary/sessions/be24db52-21b7-411d-b675-b84932133712
Updated in a109a9b — changed "the last 20" to "the most recent 20" while keeping the Warning Firewall rules blocked me from connecting to one or more addresses (expand for details)I tried to connect to the following addresses, but was blocked by firewall rules:
If you need me to access, download, or install something from one of these locations, you can either:
|
There was a problem hiding this comment.
Pull request overview
Updates the repo-consistency agent instructions to ensure it retrieves a recent set of merged PRs from the TemplateDotNetLibrary template repo, avoiding GitHub search’s default ordering behavior.
Changes:
- Add
sort:updated-descto the merged PR search query in the agent instructions. - Update the wording from “the last 20” to “the most recent 20” merged PRs.
💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.
Co-authored-by: Malcolmnixon <1863707+Malcolmnixon@users.noreply.github.com> Agent-Logs-Url: https://github.com/demaconsulting/TemplateDotNetLibrary/sessions/f2444465-d230-4771-912c-1770c4993af7
|
Just as a heads up, I was blocked by some firewall rules while working on your feedback. Expand below for details. Warning Firewall rules blocked me from connecting to one or more addresses (expand for details)I tried to connect to the following addresses, but was blocked by firewall rules:
If you need me to access, download, or install something from one of these locations, you can either:
|
Pull Request
Description
The repo-consistency agent was retrieving the 20 oldest merged PRs (e.g., #1–20) from the template repository instead of the most recent ones, due to no sort order being specified in the search query. GitHub's search API defaults to returning results in ascending order when no sort is provided.
Fix: Add
sort:updated-descto the merged PR search query and update the wording to "the 20 most recently merged PRs" so the agent instructions clearly reflect the intended behavior.Type of Change
Related Issues
Pre-Submission Checklist
Before submitting this pull request, ensure you have completed the following:
Build and Test
dotnet build --configuration Releasedotnet test --configuration ReleaseCode Quality
dotnet format --verify-no-changesQuality Checks
Please run the following checks before submitting:
./lint.sh(Unix/macOS) orcmd /c lint.bat/./lint.bat(Windows)Testing
Documentation
Additional Notes
sort:updated-descis used as the closest available proxy for merge recency, since GitHub's search API does not support asort:mergedqualifier. Merging a PR always updates itsupdated_attimestamp, makingsort:updated-descthe best available approximation for ordering by most recently merged. The wording has been updated to "the 20 most recently merged PRs" to clearly express the intent alongside the sort qualifier used.✨ Let Copilot coding agent set things up for you — coding agent works faster and does higher quality work when set up for your repo.